#include <stdio.h>

int main(int argc, char *argv[]) 
{
	int h[30],d[30],n,m,e,bit=0;
	scanf("%d %d",&n,&m);
	for(int i=0;i<n;i++)
		scanf("%d",&d[i]);
	for(int i=0;i<m;i++)
		scanf("%d",&h[i]);
	
	for(int i=0;i<n;i++)
		for(int j=i+1;j<n;j++)
	{
		if(d[i]>d[j])
		{
			e=d[i];
			d[i]=d[j];
			d[j]=e;
		}
	}
	for(int i=0;i<m;i++)
		for(int j=i+1;j<m;j++)
			{
				if(h[i]>h[j])
					{
						e=h[i];
						h[i]=h[j];
						h[j]=e;
					}
			}
	
	for(int i=0;i<n;i++)
		for(int j=0;j<m;j++)
	{
		if(h[j]>=d[i]){bit+=h[j];h[j]=0;d[i]=0;break;}
	}
	if(d[n-1]==0)printf("%d\n",bit);
	else printf("bit is doomed!\n");
}